デデキントの切断 せつだん
dedekintono setsudan

Noun
Expression

1. Dedekind cut

Mathematics