is.injective: Check if f: X -> Y is injective

Description Usage Arguments

Description

f is injective: for all (x1, x2) in X^2, f(x1) = f(x2) => x1 = x2.

Usage

1

Arguments

x

x data

y

y data


SESman/rbl documentation built on May 9, 2019, 11:10 a.m.