エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-05-17から1日間の記事一覧

エレファントな整数論(23)

写像の分類の説明 を集合、 を写像とします。、、 を前回と同じものとします。 をとり とおきます。前回の説明を続けていきます。 に対して とおきます。以下の条件を考えます。条件 から を追加します。 任意の に対して 任意の に対して 上で は単射 上で …